body {
	font-size: 12px;
}

p, .log
{
	margin: 0px;
	/*font-family: monospace;*/
}

.pr-table {
	margin-top: 5px;
	border: 2px solid white;
	width: 100%;
	border-radius: 5px;
}

.pr-table th {
	/*text-align: left;*/
}

.pr-table td {
	border: 1px dotted gray;
}

#tabs {
	width: 50%;
	margin-left: 25%;
	margin-right: 25%;
}

#logger {
	margin-top: 5px;
	padding: 5px;
	border: 2px dashed white;
	border-radius: 5px;
	height: 450px;
	overflow-y: auto;
}